- метаматематика
- наук. метаматема́тика
Українсько-російський політехнічний словник. 2013.
Українсько-російський політехнічний словник. 2013.
метаматематика — метаматематика … Орфографический словарь-справочник
Метаматематика — Метаматематика раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» … Википедия
МЕТАМАТЕМАТИКА — (греч.). Философия математики. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. МЕТАМАТЕМАТИКА греч., от meta, и математика. Философия математики. Объяснение 25000 иностранных слов, вошедших в употребление в русский … Словарь иностранных слов русского языка
метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. рассматривает формализованную теорию как множество некоторых конечных… … Словарь терминов логики
Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… … Большая советская энциклопедия
МЕТАМАТЕМАТИКА — см. Метатеория. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970 … Философская энциклопедия
МЕТАМАТЕМАТИКА — совокупность математич. теорий, используемых при изучении формальных теорий (исчислений). М., относящаяся к изучению данной формальной теории, составляет то, что наз. метатеорией формальной теории. В близком смысле термин М. используется как… … Математическая энциклопедия
метаматематика — метаматем атика, и … Русский орфографический словарь
метаматематика — (1 ж) … Орфографический словарь русского языка
метаматематика — метаматема/тика, и … Слитно. Раздельно. Через дефис.
метаматематика — и, ж. Галузь методології і математики, що вивчає особливості математичних теорій засобами та методами математики й математичної логіки … Український тлумачний словник